Definitions | x:A. B(x), es-E(es), r * s, #$n, es-when(es; x; e), (x unchanged-for t @ e), id-deq, A c B, @e(x v), b, es-isrcv(es; e), P Q, es-tag(es; e), P  Q, x:A. B(x), (x l), P Q, A, Id, s = t, IdLnk, es-lnk(es; e), <a, b>, loc(e), mkid{$x:ut2}, qless(r; s), r + s, es-time(es; e), es-sender(es; e) |